le($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}local{-}le{-}pred\{i:l\}(${\it es}$;$\lambda$$e$.$e$ $\in_{b}$ $X$)